Andrew Pitts (auth.): search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (10)
Most Popular
List
- List
- Table

1

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi, Martin Starnberger (auth.), Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer (eds.)

Year:

2012

Language:

english

File:

PDF, 7.12 MB

0 / 0

english, 2012

2

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Guiseppe Longo (auth.), David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (eds.)

Year:

1989

Language:

english

File:

DJVU, 2.82 MB

0 / 0

english, 1989

3

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)

Year:

1991

Language:

english

File:

PDF, 17.48 MB

0 / 0

english, 1991

4

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)

Year:

1991

Language:

english

File:

DJVU, 2.68 MB

0 / 0

english, 1991

5

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew Pitts (auth.), Rocco De Nicola (eds.)

Year:

2007

Language:

english

File:

PDF, 5.56 MB

0 / 0

english, 2007

6

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Guiseppe Longo (auth.), David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (eds.)

Year:

1989

Language:

english

File:

PDF, 17.83 MB

0 / 0

english, 1989

7

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Dimitris Achlioptas, Ricardo Menchaca-Mendez (auth.), Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer (eds.)

Year:

2012

Language:

english

File:

PDF, 10.62 MB

0 / 0

english, 2012

8

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi, Martin Starnberger (auth.), Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer (eds.)

Year:

2012

Language:

english

File:

PDF, 8.15 MB

0 / 0

english, 2012

9

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Dimitris Achlioptas, Ricardo Menchaca-Mendez (auth.), Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer (eds.)

Year:

2012

Language:

english

File:

PDF, 18.01 MB

0 / 0

english, 2012

10

Digital Cardiac Imaging

Digital Cardiac Imaging

Springer Netherlands

Bertram Pitt (auth.), Andrew J. Buda M.D., Edward J. Delp Ph.D. (eds.)

Year:

1985

Language:

english

File:

PDF, 19.45 MB

0 / 0

english, 1985